منابع مشابه
Incremental propofol for short procedures.
Propofol was used to induce and maintain anaesthesia in patients undergoing minor gynaecological procedures. Quality of anaesthesia, the rate of recovery and the influence of different methods of premedication were assessed. Unpremedicated patients required a higher induction dose than those premedicated with either lorazepam or papaveretum and hyoscine, but maintenance dose requirements were c...
متن کاملIncremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework that encompasses all the aspects of an incremental decision procedure, from the encoding to the incremental solver. We apply our guidelines to a real-world CTS approach (Bounded Model Checking) and show how to modify ...
متن کاملSedative and Analgesic efficacy of Propofol-Ketamine and Propofol-Remifentanil During Painful Procedures in Children with Acute Lymphoblastic Leukemia
Background: Lumbar puncture (LP) and bone marrow aspiration or biopsy in pediatric patients with hematological diseases is often repeated at regular intervals. These procedures are painful and unpleasant and bring a lot of stress for the children and their families. This study aimed to compare the effectiveness of two drug combinations of propofol-ketamine and propofol-remifentanil in children ...
متن کاملIncremental Decision Procedures for Modal Logic with Nominals and Eventualities
This thesis contributes to the study of incremental decision procedures for modal logics with nominals and eventualities. Eventualities are constructs that allow to reason about the reflexive-transitive closure of relations. Eventualities are an essential feature of temporal logics and propositional dynamic logic (PDL). Nominals extend modal logics with the possibility to reason about state equ...
متن کاملAn Incremental Technique for Automata-Based Decision Procedures
Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search based) techniques, such as tableaux, on many practical reasoning problems. This discrepancy is often the result of automata-style techniques global approach to the problem and the consequent need for constructing an extremely larg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Journal of Anaesthesia
سال: 1985
ISSN: 0007-0912
DOI: 10.1093/bja/57.12.1178